Concurrent Aspects Concurrent Aspects Des Aspects Concurrents

Aspect-Oriented Programming (AOP) promises the modularization of so-called crosscutting functionalities in large applications. Currently, almost all approaches to AOP provide means for the description of sequential aspects that are to be applied to a sequential base program. In particular, there is no formally-defined concurrent approach to AOP, with the result that coordination issues between aspects and base programs as well as between aspects cannot precisely be investigated. This paper presents Concurrent Event-based AOP (CEAOP), which addresses this issue. Our contribution can be detailed as follows. First, we formally define a model for concurrent aspects which extends the sequential Event-based AOP approach. The definition is given as a translation into concurrent specifications using Finite Sequential Processes (FSP), thus enabling use of the Labelled Transition System Analyzer (LTSA) for formal property verification. Further, we show how to compose concurrent aspects using a set of general composition operators and sketch a Java prototype implementation for concurrent aspects we have realized. Key-words: Aspect-Oriented Programming, concurrent programming, CEAOP This work has been supported by AOSD-Europe, the European Network of Excellence in AOSD (www.aosd-europe.net). ∗ École des Mines de Nantes † CNRS/École des Mines de Nantes Des aspects concurrents Résumé : La programmation par aspects, Aspect-Oriented Programming (AOP) en anglais, est une technique prometteuse qui améliore la modularisation des applications de grande taille en évitant l’entrelacement de certaines fonctionnalités de ces applications au sein de leur code de base. Actuellement, presque toutes les approches pour la programmation par aspect fournissent des moyens pour la description d’aspects séquentiels qui sont appliqués à des programmes de base également séquentiels. En particulier, il n’y a pas encore de modèle formel d’aspects concurrents, ce qui entrave l’étude des problèmes de coordination entre aspects et programme de base ainsi qu’entre aspects. Dans cette article, nous introduisant un modèle d’ aspects événementiels concurrents qui permet une telle étude. Nos contributions peuvent être détaillées comme suit. D’abord, nous définissons formellement un modèle d’aspects concurrents qui étend l’approche des aspects événementiels séquentiels. Cette définition est donnée sous forme d’une traduction dans des spécifications d’activités concurrentes exprimées à l’aide de F inite Sequential Processes, ce qui permet l’utilisation de l’outil Labelled Transition System Analyzer (LTSA) pour la vérification formelle de propriétés. En outre, nous montrons comment des aspects concurrents peuvent être composés à l’aide d’un ensemble d’opérateurs généraux de composition et esquissons l’implémentation d’un prototype en Java de notre modèle. Mots-clés : Programmation par aspects, programmation concurrente, CEAOP Concurrent aspects 3